Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
41	Taming the Wildcards: Combining Definition- and Use-Site Variance John Altidor Shan Shan Huang Add to Reading List Source URL: people.cs.umass.edu Language: English - Date: 2011-03-18 06:53:14 Polymorphism Computing Software engineering Statistics Object-oriented programming Type theory Covariance and contravariance Wildcard Variance Scala Subtyping Normal distribution
42	VA Smalltalk Update John O’Keefe Principal Smalltalk Architect Instantiations, Inc. Copyright © 2011, Instantiations, Inc. Add to Reading List Source URL: www.instantiations.com Language: English - Date: 2011-03-28 18:15:44 Software engineering Computer programming Programming language theory Object-oriented programming languages Smalltalk Seaside
43	Georg Heeg eK Baroper StrDortmund Germany Tel: +Fax: + Add to Reading List Source URL: www.heeg.de Language: English - Date: 2012-11-15 10:07:16 Software engineering Computer programming Programming language theory Object-oriented programming languages Smalltalk VisualWorks IBM VisualAge
44	Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2016-08-09 10:09:16 Software engineering Computer programming Programming language theory Object-oriented programming languages Combinatory logic Enumerated type Contract Objective-C Scope Eiffel Racket
45	Towards Gradual Typing in Jython Michael M. Vitousek Shashank Bharadwaj Jeremy G. Siek Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:51 Software engineering Computer programming Computing Object-oriented programming languages Subroutines Data types Functional programming Type theory Parameter Type system Higher-order function Pointer
46	Hoogle Overview by Neil Mitchell This article gives an overview of the Hoogle tool. We describe the history of Hoogle, the improvements that have been made this summer, and plans for future feature Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Computing Functional languages Functional programming Object-oriented programming languages Scripting languages Type theory Haskell Cabal Monad Type class
47	BioKleisli: A Digital Library for Biomedical Researchers Susan B. Davidson, Christian Overton, Val Tannen Dept. of Computer and Information Science & Dept. of Genetics University of Pennsylvania Philadelphia, PA 19104 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:14 Computing Data management Information retrieval Database management systems Database theory Database models Relational model Query language Database Relational database Object database ODB
48	A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-08-25 14:30:22 Software engineering Computer programming Declarative programming Type theory Functional programming Procedural programming languages Data types Object-oriented programming Monad ALGOL 68 Polymorphism Abstract type
49	Modelling Unique and Affine Typing using Polymorphism Edsko de Vries Abstract. Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared, Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Data types Software engineering Object-oriented programming Computing Polymorphism Functional programming Type system Subtyping Symbol Uniqueness type
50	Proposed Database Design for OmniLingua Prof. Dennis Shasha Dept of Computer Science Courant Institute, NYU Add to Reading List Source URL: linguistics.as.nyu.edu Language: English - Date: 2009-08-25 12:37:44 Data management Computing Data Database theory Relational model Data modeling Database Relational database Attribute Relation Entityattributevalue model Object-relational impedance mismatch

UPDATE